int main(int argc, char** argv) {
  return 21 << 1;
}